($I$$\mid\neg$$p$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$p{-}co{-}restrict($I$;$p$)